1. An invitation to applied category theory :
پدیدآورنده: Brendan Fong, David I. Spivak.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Categories (Mathematics),Computable functions.,Logic, Symbolic and mathematical.,Mathematical analysis.,Categories (Mathematics),Computable functions.,Logic, Symbolic and mathematical.,Mathematical analysis.
رده :
QA9
.
25
.
F66
2019
2. An invitation to applied category theory :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Categories (Mathematics) ; Computable functions. ; Logic, Symbolic and mathematical. ; Mathematical analysis. ;
3. Axiomatic method and category theory
پدیدآورنده: Rodin, Andrei, Andrei Rodin
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Axiomatic set theory,، Categories )Mathematics(,، Philosophy,، Epistemology,، Category Theory, Homological Algebra,، Mathematical Logic and Foundations
رده :
QA248
4. Handbook of categorical algebra
پدیدآورنده: / Francis Borceux
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Categories (Mathematics),Mathematical logic
رده :
QA169
.
B67
1994
5. Purity, spectra and localisation
پدیدآورنده: Prest, Mike
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Categories )Mathematics(
رده :
QA
9
.
P74P8
6. Purity, spectra and localisation /
پدیدآورنده: Mike Prest
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Categories (Mathematics),Logic, Symbolic and mathematical
رده :
QA150
.
P74
2009
7. Sets, logic and categories
پدیدآورنده: Cameron, Peter Jephson
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Set theory,، Logic, Symbolic and mathematical,، Categories )Mathematics(
رده :
QA
248
.
C17
1999
8. Sets, logic, and categories
پدیدآورنده: Cameron, Peter Jephson
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Set theory,، Logic, Symbolic and mathematical,، Categories )Mathematics(
رده :
QA
248
.
C17
1999
9. Sets, logic, and categories
پدیدآورنده : Cameron, Peter J. )Peter Jephson(
موضوع : ، Set theory,، Logic, Symbolic and mathematical,، Categories )Mathematics(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
10. Sets, logic and categories
پدیدآورنده: Cameron, Peter Jephson, 7491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Set theory,، Logic, Symbolic and mathematical,، Categories )Mathematics(
رده :
QA
248
.
C25S4
11. Sets, logic, and categories
پدیدآورنده: Cameron, Peter J.)Peter Jephson(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Set theory,، Logic, Symbolic and mathematical,، Categories )Mathematics(
رده :
QA
248
.
C17
1998
12. Sets, logic, and categories
پدیدآورنده: Cameron, Peter Jephson
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع: ، Set theory,، Logic, Symbolic and mathematical,، Categories )Mathematics(
رده :
QA
248
.
C3S4
13. The age of alternative logics :
پدیدآورنده: edited by Johan van Benthem ... [and others]
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Categories (Philosophy),Logic, Symbolic and mathematical,Mathematics-- Philosophy,Proof theory
رده :
BC135
.
A39
2006
14. The age of alternative logics : assessing philosophy of logic and mathematics today
پدیدآورنده: edited by Johan van Benthem... ]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Mathematics -- Philosophy,، Proof theory,، Categories )Philosophy(
رده :
BC
135
.
A35
15. The age of alternative logics: assessing philosophy of logic and mathematics today
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Mathematics-- Philosophy,، Proof theory,، Categories )Philosophy(
رده :
BC
135
.
A39
2006
16. Toposes, Algebraic geometry and logic
پدیدآورنده: ]by[ I.Bucur ]and others[ edited by F.W.Lawvere
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Categories )Mathematics(,Congresses ، Nosa Detected Damaged Record #4254,Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
274
17. Toposes, algebraic geometry and logic
پدیدآورنده: ]by[ I. Bucur... ]et al.[ ; Edited by F. W. Lawvere
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: Congresses ، Categories )Mathematics(,Congresses ، Geometry, Algebraic,Congresses ، Logic, Symbolic and mathematical,، Toposes
رده :
QA
169
.
T6
1972
18. Toposes, algebraic geometry and logic : Dalhousie University, Halifax, January 16-19, 1971
پدیدآورنده: I. Bucur ... ]et al.[; edited by F. W. Lawvere
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Categories )Mathematics(,Congresses ، Geometry, Algebraic,Congresses ، Logic, Symbolic and mathematical,Congresses ، Toposes
رده :
QA
3
.
L28
Vol
.
274
